denotational semantics

Theory of Description, Direct Denotational Semantics and Two-Dimensional Semantics

传统描述、直接指称与二维语义理论

Object description language and its denotational semantics

对象描述语言及其指称描述

Denotational semantics of an object-oriented distributed real-time language

一个面向对象的实时分布式语言的指称语义

Operational semantics and denotational semantics are two type of formal semantics.

其中操作语义学和指称语义学是形式语义学的两大类别。

One can also study Domain theory on denotational semantics of computer programming languages by using the topological system.

它可以用来研究计算机程序语言的指称语义的Domain理论。

Denotational semantics of distributed programming language

分布式程序设计语言的指称语义

Denotational semantics studies the transactional behavior on the basis of mathematical models.

指称语义在数学模型的基础上对事务的整体行为进行严格的解释。

Introduces topological methods in domain theory of denotational semantics of computer programming languages.

讨论计算机程序设计语言的Domain理论中的拓扑方法。

Denotational semantics describes the semantics of a programming language in afunctional way, but the first-order temporal logic expresses the semantics of a prog-ramming language in a logical way.

指称语义学是以函数的形式来表达程序的语义，一阶时态逻辑是以逻辑方式表达程序的语义。